Reachability Analysis via Face Lifting
نویسندگان
چکیده
In this paper we discuss the problem of calculating the reach able states of a dynamical system de ned by ordinary di erential equa tions or inclusions We present a prototype system for approximating this set and demonstrate some experimental results
منابع مشابه
Reachability Analysis via Face Lifting ? Thao Dang
In this paper we discuss the problem of calculating the reach-able states of a dynamical system deened by ordinary diierential equations or inclusions. We present a prototype system for approximating this set and demonstrate some experimental results.
متن کاملSimulation and analysis of complex human tasks
We discuss how the combination of a realistic human figure with a high-level behavioral control interface allow the construction of detailed simulations of humans performing manual tasks from which inferences about human performance requirements can be made. The Jack human modeling environment facilitates the real-time simulation of humans performing sequences of tasks such as walking, lifting,...
متن کاملOn Model Reduction for Periodic Descriptor Systems Using Balanced Truncation
Linear periodic descriptor systems represent a broad class of time evolutionary processes in micro-electronics and circuit simulation in particular. In this paper we consider discrete-time linear periodic descriptor systems and study the concepts of periodic reachability and observability of the systems based on earlier ideas of Chu et al. [1]. We define reachability and observability Gramians ...
متن کاملModel Reduction of Periodic Descriptor Systems Using Balanced Truncation
Linear periodic descriptor systems represent a broad class of time evolutionary processes in micro-electronics and circuit simulation. In this paper, we consider discrete-time linear periodic descriptor systems and study the concepts of periodic reachability and observability Gramians. We also discuss a lifted representation of periodic descriptor systems and propose a balanced truncation model...
متن کاملSafe Over- and Under-Approximation of Reachable Sets for Delay Differential Equations
Delays in feedback control loop, as induced by networked distributed control schemes, may have detrimental effects on control performance. This induces an interest in safety verification of delay differential equations (DDEs) used as a model of embedded control. This article explores reachable-set computation for a class of DDEs featuring a local homeomorphism property. This topological propert...
متن کامل